Diagrammatic Representation and Reasoning
نویسنده
چکیده
The rapidly developing field of diagrammatic knowledge representation and reasoning is surveyed. The origins and rationale of the field, basic principles and methodologies, as well as selected applications are discussed. Closely related areas, like visual languages, data presentation, and visualization are briefly introduced as well. Basic sources of material for further study are indicated.
منابع مشابه
Operationalizing Diagrammaticity
In this contribution we present a model for a component of a diagrammatic reasoning system. For reasons of identifying elementary components for diagrammatic reasoning processes we introduce the notions of the elementary diagrammatic inference step (EDIS) and the elementary diagrammatic simulation step (EDSS) as the basic processes for diagrammatic reasoning. The EDIS comprises several descript...
متن کاملDiagrammatic Representation and Reasoning: Some Distinctions
When I co-edited the book, "Diagrammatic Reasoning," [5] I often puzzled over the fact that rather different sorts of things were dubbed diagrammatic reasoning by different authors. I then spent sometime trying to categorize the different types of use of diagrams and the different tasks that they served. This short article is the result of that study. The distinctions I make here apply not simp...
متن کاملA Diagrammatic Reasoning System for ALC
Description logics (DLs) are a well-known family of knowledge representation (KR) languages. The notation of DLs has the style of a variable-free first order predicate logic. In this paper a diagrammatic representation of the DL ALC– based on Peirce’s existential graphs – is presented and a set of transformation rules on these graphs provided. As the transformation rules modify the diagrammatic...
متن کاملA Diagrammatic Reasoning System for the Description Logic ALC
Diagrammatic reasoning is a tradition of visual logic that allows sentences that are equivalent to first order logic to be written in a visual or structural form: usually for improved usability. A calculus for the diagram can then be defined that allows well-formed formulas to be derived. This calculus is intended is the analog of logical inference. Description logics (DLs) have become a popula...
متن کاملDiagrammatic Representation for Interval Arithmetic
The paper presents a diagrammatic representation of a standard interval space (the so-called MR-diagram), and shows how to represent and perform interval arithmetic and derive its various properties using the diagram. The representation is an extension and refinement of the IS-diagram representation devised earlier by the author to represent interval relations. First, the MR-diagram is defined ...
متن کامل